Roberto Sebastiani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Treatment-related side effects and quality of life in cancer patients

Eva Mazzotti, Gian Carlo Antonini Cappellini, Stefania Buconovo, Roberto Morese, Alessandro Scoppola, Claudia Sebastiani, Paolo Marchetti

Journal:

Supportive Care in Cancer

Year:

2012

Language:

english

File:

PDF, 131 KB

english, 2012

2

Advanced SMT techniques for weighted model integration

Morettin, Paolo, Passerini, Andrea, Sebastiani, Roberto

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 1.23 MB

english, 2019

3

Oxidative photoelectrochemical technology with Ti/TiO2 anodes

Roberto Palombari, Michele Ranchella, Cesare Rol, Giovanni V. Sebastiani

Journal:

Solar Energy Materials and Solar Cells

Year:

2002

Language:

english

File:

PDF, 154 KB

english, 2002

4

Responses of Populus deltoides × Populus nigra (Populus × euramericana) clone I-214 to high zinc concentrations

Daniela Di Baccio, Roberto Tognetti, Luca Sebastiani, Claudio Vitagliano

Journal:

New Phytologist

Year:

2003

Language:

english

File:

PDF, 323 KB

english, 2003

5

Acid-washed graphitized carbon black for gas chromatography

Di Corcia, Antonio., Samperi, Roberto., Sebastiani, Eligio., Severini, Claudio.

Journal:

Analytical Chemistry

Year:

1980

Language:

english

File:

PDF, 666 KB

english, 1980

6

Tree-ring wood anatomy and stable isotopes show structural and functional adjustments in olive trees under different water availability

Lorenzo Rossi, Luca Sebastiani, Roberto Tognetti, Riccardo d’Andria…

Journal:

Year:

2013

Language:

english

File:

PDF, 1.27 MB

english, 2013

7

Structured learning modulo theories

Teso, Stefano, Sebastiani, Roberto, Passerini, Andrea

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 3.06 MB

english, 2015

8

Product Development, Digital Manufacturing, and Product Manufacturing Information: A Bibliometric and Systemic Analysis

Sato, Roberto Shigueru, Borsato, Milton, Iaksch, Jaqueline Sebastiany, Fernandes, Ederson Carvalhar, de Oliveira, Kaio Vasconcelos

Journal:

Procedia Manufacturing

Year:

2018

Language:

english

File:

PDF, 612 KB

english, 2018

9

An Abstract Decision Procedure for a Theory of Inductive Data Types

Barrett, Clark, Shikanian, Igor, Tinelli, Cesare, Cook, Byron, Sebastiani, Roberto

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 347 KB

2007

10

Salvage high-dose chemotherapy in patients with germ cell tumors : An Italian experience with 84 patients

Giovanni Rosti, Ugo De Giorgi, Roberto Salvioni, Giorgio Papiani, Loretta Sebastiani, Marzia Argnani, Giuseppe Monti, Patrizia Ferrante, Giorgio Pizzocaro, Maurizio Marangolo

Journal:

Year:

2002

Language:

english

File:

PDF, 85 KB

english, 2002

11

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

Steve Linton, Roberto Sebastiani

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 78 KB

english, 2002

12

Preface and Foreword

Byron Cook, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 126 KB

english, 2007

13

Verifying Industrial Hybrid Systems with MathSAT

Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 319 KB

english, 2005

14

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

15

Simultaneous determination of acidic and non-acidic pesticides in natural waters by liquid chromatography–mass spectrometry

Antonio Di Corcia, Manuela Nazzari, Ramesh Rao, Roberto Samperi, Eligio Sebastiani

Journal:

Journal of Chromatography A

Year:

2000

Language:

english

File:

PDF, 248 KB

english, 2000

16

Coexpression of CD69 and HLADR activation markers on synovial fluid T lymphocytes of patients affected by rheumatoid arthritis: a three-colour cytometric analysis.

ANTONELLA AFELTRA, MAURO GALEAZZI, GIAN DOMENICO SEBASTIANI, GIOVANNI MARIA FERRI, DOMENICO CACCAVO, MARIA ASSUNTA ADDESSI, ROBERTO MARCOLONGO, LORENZO BONOMO

Journal:

International Journal of Experimental Pathology

Year:

1997

Language:

english

File:

PDF, 239 KB

english, 1997

17

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 2.23 MB

english, 2011

18

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 1.54 MB

english, 2009

19

GSTE is partitioned model checking

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 618 KB

english, 2007

20

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 877 KB

english, 2005

21

Goal-oriented requirements analysis and reasoning in the Tropos methodology

Paolo Giorgini, John Mylopoulos, Roberto Sebastiani

Journal:

Engineering Applications of Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 636 KB

english, 2005

22

[Lecture Notes in Computer Science] String Processing and Information Retrieval Volume 7024 || Query-Sets + + : A Scalable Approach for Modeling Web Sites

Grossi, Roberto, Sebastiani, Fabrizio, Silvestri, Fabrizio

Year:

2011

Language:

english

File:

PDF, 171 KB

english, 2011

23

Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)

Fausto Giunchiglia, Roberto Sebastiani

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 345 KB

english, 2000

24

Treatment of rheumatic diseases in patients with HCV and HIV infection

Mauro Galeazzi, Chiara Giannitti, Stefania Manganelli, Maurizio Benucci, Salvatore Scarpato, Chiara Bazzani, Roberto Caporali, Gian Domenico Sebastiani

Journal:

Autoimmunity Reviews

Year:

2008

Language:

english

File:

PDF, 171 KB

english, 2008

25

Heavy metal accumulation and growth responses in poplar clones Eridano (Populus deltoides × maximowiczii) and I-214 (P. × euramericana) exposed to industrial waste

Luca Sebastiani, Francesca Scebba, Roberto Tognetti

Journal:

Environmental and Experimental Botany

Year:

2004

Language:

english

File:

PDF, 327 KB

english, 2004

26

Skewing Towards Neuroendocrine Phenotype in High Grade or High Stage Androgen-Responsive Primary Prostate Cancer

Luca Puccetti, Claudiu T. Supuran, Pier P. Fasolo, Enrico Conti, Giancarlo Sebastiani, Sergio Lacquaniti, Roberto Mandras, Maria G. Milazzo, Natalia Dogliani, Paolo De Giuli, Giuseppe Fasolis

Journal:

European Urology

Year:

2005

Language:

english

File:

PDF, 136 KB

english, 2005

27

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 1.84 MB

english, 2006

28

Heart transplantation in patients with previous Fontan operations

Amando Gamba, Maurizio Merlo, Roberto Fiocchi, Amedeo Terzi, Carmelo Mammana, Roberta Sebastiani, Paolo Ferrazzi

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Year:

2004

Language:

english

File:

PDF, 106 KB

english, 2004

29

The immunogenetics of the antiphospholipid syndrome, anticardiolipin antibodies, and lupus anticoagulant

Gian Domenico Sebastiani, Mauro Galeazzi, Gabriella Morozzi, Roberto Marcolonao

Journal:

Seminars in Arthritis and Rheumatism

Year:

1996

Language:

english

File:

PDF, 686 KB

english, 1996

30

4695193 Slender flexible marina structure for hydrocarbon production and ship mooring in deep seas

Gaetan Sebastiani, Roberto Brandi, Lena Francesco Di, Silvestro Vanore, Roberto Carraro

Journal:

Marine Pollution Bulletin

Year:

1988

Language:

english

File:

PDF, 194 KB

english, 1988

31

Ticlopidine-induced chronic cholestatic hepatitis: A case report

Furio Colivicchi, Stefania Magnanimi, Franco Sebastiani, Roberto Silvestri, Roberto Magnanimi

Journal:

Current Therapeutic Research

Year:

1994

Language:

english

File:

PDF, 186 KB

english, 1994

32

Incidence of electrocardiographic abnormalities during treatment with human leukocyte interferon-alfa in patients with chronic hepatitis C but without preexisting cardiovascular disease

Furio Colivicchi, Stefania Magnanimi, Franco Sebastiani, Roberto Silvestri, Roberto Magnanimi

Journal:

Current Therapeutic Research

Year:

1998

Language:

english

File:

PDF, 374 KB

english, 1998

33

P1-019 Behavioral and psychological symptoms in dementia: a population-based study

Miriam Caputo, Valeria Sebastiani, Roberto Monastero, Elena Mariani, Umberto Senin, Patrizia Mecocci

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 165 KB

english, 2004

34

Gastrointestinal Dysmotility in Mitochondrial Neurogastrointestinal Encephalomyopathy Is Caused by Mitochondrial DNA Depletion

Carla Giordano, Mariangela Sebastiani, Roberto De Giorgio, Claudia Travaglini, Andrea Tancredi, Maria Lucia Valentino, Marzio Bellan, Andrea Cossarizza, Michio Hirano, Giulia d'Amati, Valerio Carelli

Journal:

The American Journal of Pathology

Year:

2008

Language:

english

File:

PDF, 1.97 MB

english, 2008

35

[Lecture Notes in Computer Science] String Processing and Information Retrieval Volume 7024 || Computing All Subtree Repeats in Ordered Ranked Trees

Grossi, Roberto, Sebastiani, Fabrizio, Silvestri, Fabrizio

Year:

2011

Language:

english

File:

PDF, 168 KB

english, 2011

36

Priming effect of benzo[a]pyrene on monocyte oxidative metabolism: possible mechanisms

Roberto Fabiani, Angelo De Bartolomeo, Patrizia Rosignoli, Bartolomeo Sebastiani, Guido Morozzi

Journal:

Toxicology Letters

Year:

1999

Language:

english

File:

PDF, 217 KB

english, 1999

37

[Lecture Notes in Computer Science] String Processing and Information Retrieval Volume 7024 || Fast Computation of a String Duplication History under No-Breakpoint-Reuse

Grossi, Roberto, Sebastiani, Fabrizio, Silvestri, Fabrizio

Year:

2011

Language:

english

File:

PDF, 212 KB

english, 2011

38

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 5749 || Axiomatization and Completeness of Lexicographic Products of Modal Logics

Ghilardi, Silvio, Sebastiani, Roberto

Year:

2009

Language:

english

File:

PDF, 234 KB

english, 2009

39

Flash Thermal Conditioning of Olive Pastes during the Olive Oil Mechanical Extraction Process: Impact on the Structural Modifications of Pastes and Oil Quality

Esposto, Sonia, Veneziani, Gianluca, Taticchi, Agnese, Selvaggini, Roberto, Urbani, Stefania, Di Maio, Ilona, Sordini, Beatrice, Minnocci, Antonio, Sebastiani, Luca, Servili, Maurizio

Journal:

Journal of Agricultural and Food Chemistry

Year:

2013

Language:

english

File:

PDF, 1.50 MB

english, 2013

40

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Understanding IC3

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 222 KB

english, 2012

41

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Improvements to Core-Guided Binary Search for MaxSAT

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 388 KB

english, 2012

42

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2012 Volume 7317 || Efficient SAT Solving under Assumptions

Cimatti, Alessandro, Sebastiani, Roberto

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

43

Editorial

Grossi, Roberto, Sebastiani, Fabrizio, Silvestri, Fabrizio

Journal:

Journal of Discrete Algorithms

Year:

2013

Language:

english

File:

PDF, 83 KB

english, 2013

44

Special Issue: Heavy Metals and Plants || Responses of Populus deltoides × Populus nigra (Populus × euramericana) Clone I-214 to High Zinc Concentrations

Daniela Di Baccio, Roberto Tognetti, Luca Sebastiani and Claudio Vitagliano

Journal:

New Phytologist

Year:

2003

Language:

english

File:

PDF, 1.33 MB

english, 2003

45

[Lecture Notes in Computer Science] String Processing and Information Retrieval Volume 7024 || Spaced Seeds Design Using Perfect Rulers

Grossi, Roberto, Sebastiani, Fabrizio, Silvestri, Fabrizio

Year:

2011

Language:

english

File:

PDF, 239 KB

english, 2011

46

Early responses to cadmium of two poplar clones that differ in stress tolerance

Di Baccio, Daniela, Castagna, Antonella, Tognetti, Roberto, Ranieri, Annamaria, Sebastiani, Luca

Journal:

Journal of Plant Physiology

Year:

2014

Language:

english

File:

PDF, 953 KB

english, 2014

47

Genotypic differences in the response to elevated CO 2 concentration of one-year-old olive cuttings ( Olea europaea L. cv. Frantoio and Moraiolo)

Sebastiani, Luca, Minnocci, Antonio, Tognetti, Roberto

Journal:

Plant Biosystems / An International Journal Dealing with all Aspects of Plant Biology

Year:

2002

Language:

english

File:

PDF, 980 KB

english, 2002

48

SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation

Giunchiglia, Enrico, Sebastiani, Roberto, Giunchiglia, Fausto, Tacchella, Armando

Journal:

Journal of Applied Non-Classical Logics

Year:

2000

Language:

english

File:

PDF, 1.42 MB

english, 2000

49

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Software model checking via large-block encoding

Beyer, Dirk, Cimatti, Alessandro, Griggio, Alberto, Keremoglu, M. Erkan, Univers, Simon Fraser, Sebastiani, Roberto

Year:

2009

Language:

english

File:

PDF, 232 KB

english, 2009

50

Effects of combined ozone and cadmium stresses on leaf traits in two poplar clones

Castagna, Antonella, Di Baccio, Daniela, Ranieri, Anna Maria, Sebastiani, Luca, Tognetti, Roberto

Journal:

Environmental Science and Pollution Research

Year:

2015

Language:

english

File:

PDF, 500 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски